:: (a -> IO b) -> DirTree a -> IO (DirTree b) package:prelude-compat

Map each element of a structure to a monadic action, evaluate these actions from left to right, and collect the results. For a version that ignores the results see mapM_.